Test Security Properties For Smart Contracts & Detect Vulnerabilities | Diligence Scribble & Fuzzing